搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

	Handbook on Analyzing Human Genetic Data [electronic resource] : Computational Approaches and Software 0 索取号：作者：Lin、 Shili.、Zhao、 Hongyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Rocket and Spacecraft Propulsion [electronic resource] : Principles, Practice and New Developments 0 索取号：作者：Turner、 Martin J. L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings 0 索取号：作者：Nikoletseas、 Sotiris E.、Chlebus、 Bogdan S.、Johnson、 David B.、Krishnamachari、 Bhaskar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 0 索取号：作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions 0 索取号：作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers 0 索取号：作者：Giese、 Holger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings 0 索取号：作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings 0 索取号：作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino 0 索取号：作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc艂aw, Poland, June 18-20, 2008 Proceedings 0 索取号：作者：Nguyen、 Ngoc Thanh.、Borzemski、 Leszek.、Grzech、 Adam.、Ali、 Moonis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Advanced Imaging in Biology and Medicine [electronic resource] : Technology, Software Environments, Applications 0 索取号：作者：Sensen、 Christoph W.、Hallgr铆msson、 Benedikt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Engineering for Experimental Robotics [electronic resource] 0 索取号：作者：Brugali、 Davide.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings 0 索取号：作者：Bellovin、 Steven M.、Gennaro、 Rosario.、Keromytis、 Angelos.、Yung、 Moti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Computational Intelligence: Research Frontiers [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures 0 索取号：作者：Zurada、 Jacek M.、Yen、 Gary G.、Wang、 Jun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006 0 索取号：作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Handbook on Analyzing Human Genetic Data [electronic resource] : Computational Approaches and Software 0 索取号：作者：Lin、 Shili.、Zhao、 Hongyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Rocket and Spacecraft Propulsion [electronic resource] : Principles, Practice and New Developments 0 索取号：作者：Turner、 Martin J. L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings 0 索取号：作者：Nikoletseas、 Sotiris E.、Chlebus、 Bogdan S.、Johnson、 David B.、Krishnamachari、 Bhaskar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 0 索取号：作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions 0 索取号：作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers 0 索取号：作者：Giese、 Holger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings 0 索取号：作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings 0 索取号：作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino 0 索取号：作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc艂aw, Poland, June 18-20, 2008 Proceedings 0 索取号：作者：Nguyen、 Ngoc Thanh.、Borzemski、 Leszek.、Grzech、 Adam.、Ali、 Moonis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Advanced Imaging in Biology and Medicine [electronic resource] : Technology, Software Environments, Applications 0 索取号：作者：Sensen、 Christoph W.、Hallgr铆msson、 Benedikt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Engineering for Experimental Robotics [electronic resource] 0 索取号：作者：Brugali、 Davide.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings 0 索取号：作者：Bellovin、 Steven M.、Gennaro、 Rosario.、Keromytis、 Angelos.、Yung、 Moti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Computational Intelligence: Research Frontiers [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures 0 索取号：作者：Zurada、 Jacek M.、Yen、 Gary G.、Wang、 Jun.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006 0 索取号：作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.